\documentclass{article}
\usepackage[x11names, rgb]{xcolor}
\usepackage[utf8]{inputenc}
\usepackage{tikz}
\usetikzlibrary{snakes,arrows,shapes}
\usepackage{amsmath}
%
%
\usepackage[active,tightpage]{preview}
\PreviewEnvironment{tikzpicture}
\setlength\PreviewBorder{0pt}%
\usetikzlibrary{automata}%

\begin{document}
\pagestyle{empty}
%
%
%

\enlargethispage{100cm}
% Start of code
\begin{tikzpicture}[>=latex',join=bevel,]
\tikzstyle{every state}=[draw=blue!50,very thick,fill=blue!20]%
\node (q0) at (1406bp,458bp) [state] {$\{q_{8}\}$};
  \node (q2) at (1287bp,370bp) [state] {$\{q_{7}\}$};
  \node (q14) at (610bp,194bp) [state] {$\{q_{10}\}$};
  \node (q13) at (1321bp,194bp) [state] {$\{q_{5}\}$};
  \node (q12) at (933bp,194bp) [state] {$\{q_{1}\}$};
  \node (q11) at (609bp,106bp) [state] {$\{q_{11}\}$};
  \node (q10) at (1254bp,106bp) [state] {$\{q_{6}\}$};
  \node (q8) at (1343bp,106bp) [state] {$\{q_{2}\}$};
  \node (q7) at (1083bp,282bp) [state] {$\{q_{4},q_{0}\}$};
  \node (q5) at (53bp,106bp) [state] {$\{q_{13}\}$};
  \node (q9) at (1170bp,18bp) [state] {$\{q_{3}\}$};
  \node (q6) at (309bp,18bp) [state] {$\{q_{12}\}$};
  \node (q1) at (1501bp,18bp) [state] {$\{q_{9}\}$};
  \node (q4) at (786bp,106bp) [state] {$\{q_{15}\}$};
  \node (q3) at (139bp,194bp) [state] {$\{q_{14}\}$};
  \draw [->] (q2) ..controls (1228bp,344bp) and (1157bp,314bp)  .. node[auto] {$\overline{approver#approve}$} (q7);
  \draw [->] (q14) ..controls (518bp,181bp) and (501bp,178bp)  .. (437bp,158bp) .. controls (420bp,152bp) and (417bp,146bp)  .. (399bp,142bp) .. controls (342bp,127bp) and (168bp,113bp)  .. node[auto] {$customer#request$} (q5);
  \draw [->] (q14) ..controls (637bp,174bp) and (647bp,165bp)  .. (656bp,158bp) .. controls (665bp,151bp) and (665bp,146bp)  .. (674bp,142bp) .. controls (699bp,131bp) and (1093bp,113bp)  .. node[auto] {$\overline{assessor#check}$} (q10);
  \draw [->] (q14) ..controls (572bp,181bp) and (556bp,172bp)  .. (547bp,158bp) .. controls (538bp,141bp) and (556bp,127bp)  .. node[auto] {$\overline{approver#approve}$} (q11);
  \draw [->] (q13) ..controls (1364bp,242bp) and (1430bp,323bp)  .. (1455bp,406bp) .. controls (1456bp,412bp) and (1458bp,415bp)  .. (1455bp,422bp) .. controls (1451bp,430bp) and (1444bp,437bp)  .. node[auto] {$customer#request$} (q0);
  \draw [->] (q13) ..controls (1294bp,175bp) and (1285bp,166bp)  .. (1279bp,158bp) .. controls (1273bp,150bp) and (1269bp,141bp)  .. node[auto] {$\overline{customer#request}$} (q10);
  \draw [->] (q13) ..controls (1362bp,182bp) and (1380bp,173bp)  .. (1389bp,158bp) .. controls (1396bp,145bp) and (1386bp,132bp)  .. node[auto] {$\overline{approver#approve}$} (q8);
  \draw [->] (q12) ..controls (917bp,165bp) and (906bp,151bp)  .. (894bp,142bp) .. controls (872bp,126bp) and (845bp,118bp)  .. node[auto] {$customer#request$} (q4);
  \draw [->] (q12) ..controls (876bp,187bp) and (826bp,178bp)  .. (787bp,158bp) .. controls (778bp,152bp) and (778bp,146bp)  .. (768bp,142bp) .. controls (729bp,122bp) and (680bp,113bp)  .. node[auto] {$\overline{customer#request}$} (q11);
  \draw [->] (q12) ..controls (975bp,179bp) and (999bp,169bp)  .. (1020bp,158bp) .. controls (1030bp,152bp) and (1030bp,146bp)  .. (1042bp,142bp) .. controls (1145bp,104bp) and (1181bp,145bp)  .. (1290bp,124bp) .. controls (1297bp,123bp) and (1304bp,121bp)  .. node[auto] {$\overline{assessor#check}$} (q8);
  \draw [->] (q11) ..controls (530bp,84bp) and (405bp,46bp)  .. node[auto] {$customer#request$} (q6);
  \draw [->] (q11) ..controls (611bp,76bp) and (615bp,62bp)  .. (625bp,54bp) .. controls (645bp,38bp) and (1013bp,24bp)  .. node[auto] {$\overline{assessor#check}$} (q9);
  \draw [->] (q10) ..controls (1287bp,117bp) and (1294bp,121bp)  .. (1307bp,124bp) .. controls (1348bp,133bp) and (1470bp,110bp)  .. (1499bp,142bp) .. controls (1573bp,224bp) and (1395bp,320bp)  .. node[auto] {$customer#request$} (q2);
  \draw [->] (q10) ..controls (1216bp,92bp) and (1199bp,83bp)  .. (1188bp,70bp) .. controls (1182bp,63bp) and (1178bp,54bp)  .. node[auto] {$\overline{approver#approve}$} (q9);
  \draw [->] (q8) ..controls (1383bp,90bp) and (1404bp,81bp)  .. (1422bp,70bp) .. controls (1431bp,64bp) and (1432bp,60bp)  .. (1442bp,54bp) .. controls (1451bp,47bp) and (1462bp,41bp)  .. node[auto] {$customer#request$} (q1);
  \draw [->] (q8) ..controls (1322bp,84bp) and (1315bp,77bp)  .. (1309bp,70bp) .. controls (1303bp,63bp) and (1304bp,59bp)  .. (1297bp,54bp) .. controls (1270bp,35bp) and (1234bp,26bp)  .. node[auto] {$\overline{customer#request}$} (q9);
  \draw [->] (q7) ..controls (906bp,280bp) and (195bp,273bp)  .. (157bp,246bp) .. controls (150bp,240bp) and (145bp,231bp)  .. node[auto] {$customer#request$} (q3);
  \draw [->] (q7) ..controls (901bp,257bp) and (721bp,219bp)  .. node[auto] {$\overline{customer#request}$} (q14);
  \draw [->] (q7) ..controls (1149bp,257bp) and (1238bp,225bp)  .. node[auto] {$\overline{assessor#check}$} (q13);
  \draw [->] (q7) ..controls (1036bp,255bp) and (991bp,229bp)  .. node[auto] {$\overline{approver#approve}$} (q12);
  \draw [->] (q5) ..controls (13bp,155bp) and (25bp,180bp)  .. (19bp,230bp) .. controls (19bp,237bp) and (17bp,239bp)  .. (19bp,246bp) .. controls (39bp,295bp) and (53bp,311bp)  .. (101bp,334bp) .. controls (155bp,359bp) and (1055bp,368bp)  .. node[auto] {$\overline{assessor#check}$} (q2);
  \draw [->] (q5) ..controls (49bp,77bp) and (49bp,63bp)  .. (58bp,54bp) .. controls (73bp,38bp) and (206bp,26bp)  .. node[auto] {$\overline{approver#approve}$} (q6);
  \draw [->] (q9) ..controls (1164bp,84bp) and (1150bp,210bp)  .. (1129bp,246bp) .. controls (1125bp,253bp) and (1119bp,259bp)  .. node[auto] {$customer#request$} (q7);
  \draw [->] (q6) ..controls (237bp,50bp) and (130bp,106bp)  .. (174bp,158bp) .. controls (233bp,226bp) and (882bp,270bp)  .. node[auto] {$\overline{assessor#check}$} (q7);
  \draw [->] (q1) ..controls (1534bp,34bp) and (1545bp,42bp)  .. (1551bp,54bp) .. controls (1574bp,99bp) and (1537bp,123bp)  .. (1499bp,158bp) .. controls (1431bp,219bp) and (1400bp,218bp)  .. (1314bp,246bp) .. controls (1247bp,266bp) and (1167bp,276bp)  .. node[auto] {$\overline{customer#request}$} (q7);
  \draw [->] (q4) ..controls (759bp,78bp) and (740bp,62bp)  .. (719bp,54bp) .. controls (652bp,27bp) and (434bp,21bp)  .. node[auto] {$\overline{customer#request}$} (q6);
  \draw [->] (q4) ..controls (864bp,90bp) and (982bp,67bp)  .. (1084bp,54bp) .. controls (1223bp,35bp) and (1390bp,24bp)  .. node[auto] {$\overline{assessor#check}$} (q1);
  \draw [->] (q3) ..controls (92bp,186bp) and (66bp,177bp)  .. (52bp,158bp) .. controls (48bp,151bp) and (47bp,142bp)  .. node[auto] {$\overline{customer#request}$} (q5);
  \draw [->] (q3) ..controls (135bp,223bp) and (136bp,237bp)  .. (144bp,246bp) .. controls (317bp,431bp) and (1179bp,454bp)  .. node[auto] {$\overline{assessor#check}$} (q0);
  \draw [->] (q3) ..controls (193bp,185bp) and (237bp,176bp)  .. (271bp,158bp) .. controls (281bp,152bp) and (280bp,146bp)  .. (290bp,142bp) .. controls (364bp,113bp) and (567bp,131bp)  .. (645bp,124bp) .. controls (681bp,120bp) and (721bp,115bp)  .. node[auto] {$\overline{approver#approve}$} (q4);
  \draw [->] (q0) ..controls (1374bp,439bp) and (1360bp,430bp)  .. (1348bp,422bp) .. controls (1335bp,412bp) and (1322bp,401bp)  .. node[auto] {$\overline{customer#request}$} (q2);
  \draw [->] (q0) ..controls (1435bp,456bp) and (1436bp,456bp)  .. (1437bp,456bp) .. controls (1548bp,432bp) and (1679bp,484bp)  .. (1679bp,370bp) .. controls (1679bp,370bp) and (1679bp,370bp)  .. (1679bp,106bp) .. controls (1679bp,32bp) and (1609bp,41bp)  .. node[auto] {$\overline{approver#approve}$} (q1);
%
\end{tikzpicture}
% End of code

%
\end{document}
%


